\begin{table}
\small
\centering
\begin{tabular}{l||c|c|c|c|c|c|c}{\bf Netlist}&{\bf Covered / Total}&{\bf Covered}&{\bf Templates}&{\bf Subgraphs}&{\bf ET}&{\bf \textit{n}-value}&{\bf ATL}\\
\hline \hline
{\bf s1196}  &             6 / 263 &        2.28 &             1 &             3 &    1'' &                    1 &       2 \\
\hline
{\bf s1423}  &            14 / 396 &        3.53 &             2 &             7 &    4'' &                    1 &       2 \\
\hline
{\bf s5378}  &            82 / 692 &       11.85 &            12 &            30 &   22'' &                    1 &       3 \\
\hline
{\bf s9234}  &           174 / 568 &       30.63 &            20 &            45 &   13'' &                    1 &       4 \\
\hline
{\bf s13207} &           226 / 981 &       23.04 &            33 &            89 &   22'' &                    1 &       3 \\
\hline
{\bf s15850} &           167 / 516 &       32.36 &            21 &            59 &     1' &                    1 &       3 \\
\end{tabular}
\caption[Regularity Extraction MER (Fast) results]{Regularity Extraction MER (Fast) results.\label{t10}}
\end{table}
